$\forall$$a$:$\mathbb{Z}$. prime($a$) $\Rightarrow$ atomic($a$)